<!DOCTYPE html>
<html>
   <head>
      <meta charset="utf-8" />
      <link rel="stylesheet" type="text/css" href="./style.css" />
      <title> Emploi du temps </title>
      
</head>

<body >
      <?php 
      session_start();
      if ((isset($_SESSION['login'])) ) 
	  { 
      echo'
	  <div class = "header">
	  <ul>
	  		<li>
				<a href="./accueil.php">ACCUEIL</a> |
			</li>
			
			<li>
      			<a href="./edtview.php">EMPLOI DU TEMPS</a> |
			</li>
			
			<li>
      			<a href="./compte.php">COMPTE</a> |
			</li>
			
			<li>
				<a href="./deconnexion.php">DECONNEXION</a>
			</li>
    	</ul>
		</div>';
      }
	  
      else
      {
      echo'
	  <div class = "header">
	  	<ul>
	  		<li>
				<a href="./accueil.php">ACCUEIL</a> |
			</li>
			
			<li>
      			<a href="./edtview.php">EMPLOI DU TEMPS</a> |
			</li>
			
			<li>
      			<a href="./connexion.php">CONNEXION</a>
      		</li>
    	</ul>
		</div>';
    }
	
   ?>
   </body>
   </html>
 
